University of Melbourne. Interests include text, image, and index compression.

Research on multi-agent systems, agent frameworks, and information agents.

Describes the porting of the Mercury programming language to the .NET platform.

Compares type systems, all text. Uses Haskell 98 since Mercury type system is more like Haskell than ML, and Haskell 98 is best documented, most well-known Haskell.

Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.

A declarative debugger for the Haskell 98.

Logic/functional programming language, merges clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution, far faster than most logic languages, near that of procedural language...

Describes the porting of the Mercury programming language to the .NET platform.

The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.

Information and select sections of a book about indexing and compression techniques for documents and images. Also provides information about open source IR system released with the book.